consistency proof
相容性证明
热门查询
- unresolved adj. 未解决的；无决断力的；不果断的
- vee n. V字形，V字形物 adj. V字形的
- gobbledygook n. 官样文章
- restatement n. 重述；再次声明
- Kavanagh [人名] [爱尔兰姓氏] 卡瓦纳盖尔语人名的英语形式，含义是“温柔的”(gentle,tender)
- faff n. 忙乱 vi. 小题大作，无事瞎忙
- separable adj. 可分离的；可分隔的
- recurrence n. 再发生；循环；重现；重新提起
- companionship n. 友谊；陪伴；交谊
- Macklin [人名] 麦克林
- concessional adj. 让步的，容许的
- splashing n. 泼洒，喷洒 v. 飞溅（splash的ing形式）；溅湿
- appendix n. 附录；阑尾；附加物
- tsunami n. 海啸
- trillionth n. （英）第一百万兆，百万兆分之一；（美）第一万亿；万亿分之一 adj. （英）第一百万兆的，百万兆分之一的；（美）第一万亿的；万亿分之一的
- solve vt. 解决；解答；溶解 vi. 作解答
- contractor n. 承包人；立契约者
- yet conj. 但是；然而 adv. 还；但是；已经 n. (Yet)人名；(东南亚国家华语)一
- gypsy n. 吉卜赛人；吉卜赛语；像吉布赛的人；歌舞剧中的歌舞队员 n. (Gypsy)人名；(英)吉普赛 adj. 象吉卜赛人的；吉卜赛人的；无照的 vi. 流浪
- gist n. 主旨，要点；依据 n. (Gist)人名；(英)吉斯特
